Section: Partnerships and Cooperations

International Initiatives

Inria International Partners

Declared Inria International Partners

The FORMES project has been held since the beginning at Tsinghua University, Beijing, China. Tsinghua University is a founding member of LIAMA laboratory.

Informal International Partners

The FORMES project has also collaborated with:

• Pr John Koo at Shenzhen Institute of Advanced Technology, until August 2013.

• the Institute of Software of the Chinese Academy of Science where Frédéric Blanqui has been kindly hosted between July 2012 and August 2013.

Inria International Labs

FORMES is one of the LIAMA projects.

Participation In other International Programs

LIAMA is a member of the AURA network: Association of Units of Research in Asia.